non deterministic computation

非确定计算